container.Mutable_Array3.index [ ] :=

type

integer, i0 I, i1 I, i2 I, o T)

[Abstract feature]

set element at given index i to given value o

Precondition

pre
  safety: 0 ≤ i0.as_i64 < length0
  safety: 0 ≤ i1.as_i64 < length1
  safety: 0 ≤ i2.as_i64 < length2
  safety: is_accessible

Type Parameters

0.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)

last changed: 2026-07-23